24 ideas
14240 | The empty set is something, not nothing! [Oliver/Smiley] |
14239 | The empty set is usually derived from Separation, but it also seems to need Infinity [Oliver/Smiley] |
14241 | We don't need the empty set to express non-existence, as there are other ways to do that [Oliver/Smiley] |
14242 | Maybe we can treat the empty set symbol as just meaning an empty term [Oliver/Smiley] |
14243 | The unit set may be needed to express intersections that leave a single member [Oliver/Smiley] |
14234 | If you only refer to objects one at a time, you need sets in order to refer to a plurality [Oliver/Smiley] |
14237 | We can use plural language to refer to the set theory domain, to avoid calling it a 'set' [Oliver/Smiley] |
14245 | Logical truths are true no matter what exists - but predicate calculus insists that something exists [Oliver/Smiley] |
13931 | By using aporiai as his start, Aristotle can defer to the wise, as well as to the many [Haslanger] |
14246 | If mathematics purely concerned mathematical objects, there would be no applied mathematics [Oliver/Smiley] |
14247 | Sets might either represent the numbers, or be the numbers, or replace the numbers [Oliver/Smiley] |
10502 | We can rise by degrees through abstraction, with higher levels representing more things [Arnauld,A/Nicole,P] |
13925 | Ontology disputes rest on more basic explanation disputes [Haslanger] |
13924 | The persistence of objects seems to be needed if the past is to explain the present [Haslanger] |
13930 | Persistence makes change and its products intelligible [Haslanger] |
13927 | We must explain change amongst 'momentary entities', or else the world is inexplicable [Haslanger] |
13928 | If the things which exist prior to now are totally distinct, they need not have existed [Haslanger] |
18258 | We can only know the exterior world via our ideas [Arnauld,A/Nicole,P] |
13929 | Natural explanations give the causal interconnections [Haslanger] |
13926 | Best explanations, especially natural ones, need grounding, notably by persistent objects [Haslanger] |
16784 | Forms make things distinct and explain the properties, by pure form, or arrangement of parts [Arnauld,A/Nicole,P] |
10499 | We know by abstraction because we only understand composite things a part at a time [Arnauld,A/Nicole,P] |
10501 | A triangle diagram is about all triangles, if some features are ignored [Arnauld,A/Nicole,P] |
10500 | No one denies that a line has width, but we can just attend to its length [Arnauld,A/Nicole,P] |